'/ASM_running/baseSemanticsProof/asm.clf UhF4äBÅë¢ÔV:AH1/ASM_running/baseSemanticsProof/baseSemantics.clfŸjF4äBÅë¢äV:AH